Asymmetry of proof difficulty